#define _CRT_SECURE_NO_WARNINGS
#define NDEBUG
#include <stdio.h>
#include <assert.h>

void Print_int_sz_num(int[], int);
void mppx_int_sz(int*, int);